package edu.gatech.cc.concolic.expression;



public abstract class OR extends BinaryOperator {

	public OR(SymbolicExpression lhs, SymbolicExpression rhs) {
		super(lhs, rhs);
	}

	@Override
	public String toString() {
		return String.format("%s | %s)", lhs, rhs);
	}

}
